$\forall$$n$, $m$:$\mathbb{N}$, ${\it nmr}$:Namer($n$+$m$;[]). namer{-}disjoint($n$;$m$;${\it nmr}$;namer{-}shift($n$;${\it nmr}$))